Beispielgetriebene Entwicklung domänenspezifischer Modellierungssprachen

.............................................................................................................................................................................. iii Danksagung ........................................................................................................................................................................ v 1 Einführung und Motivation .................................................................................................................................. 1 1.1 Problemstellung und Lösungsskizze ....................................................................................................... 2 1.2 Anforderungen ............................................................................................................................................... 6 1.2.1 Konstruktivistische Entwicklung von DSMLs im ontologischen Kontext .................................. 6 1.2.2 Konstruktivistische Entwicklung von DSMLs im linguistischen Kontext ................................... 8 1.2.3 Berücksichtigung von Qualitätskriterien ............................................................................................ 9 1.3 Eigener Beitrag ............................................................................................................................................. 10 1.4 Struktur der Arbeit ...................................................................................................................................... 12 2 Grundlagen ............................................................................................................................................................. 15 2.1 Domänenspezifische Modellierung ....................................................................................................... 15 2.1.1 Allgemeine Terminologie ..................................................................................................................... 15 2.1.2 Formale Grammatiken .......................................................................................................................... 17 2.1.3 Meta-Modellierung ................................................................................................................................ 18 2.2 Linguistisches Meta-Modell ..................................................................................................................... 21 2.2.1 Erweiterte Modellierungsmuster ........................................................................................................ 21 2.2.2 Aufbau ...................................................................................................................................................... 25 2.2.3 Notation ................................................................................................................................................... 26 2.3 Notation der Ablaufdiagramme .............................................................................................................. 27 3 Verwandte Arbeiten ............................................................................................................................................ 29 3.1 Entwurf konkreter Syntaxen nach dem WYSIWYG-Prinzip ............................................................ 29 3.2 Ableiten einer abstrakten Syntax von einer konkreten Syntax ...................................................... 31 3.3 Rekonstruktion von Meta-Modellen ..................................................................................................... 32 3.4 Beispielgetriebene (Meta-)Modellierung ............................................................................................ 34 3.4.1 Clafer ......................................................................................................................................................... 34 3.4.2 BITKit ......................................................................................................................................................... 35 3.4.3 MLCBD ...................................................................................................................................................... 36 3.4.4 MetaBUP .................................................................................................................................................. 38 3.4.5 FlexiSketch ............................................................................................................................................... 40 3.5 Fazit ................................................................................................................................................................. 41 4 Beispielgetriebene Entwicklung im linguistischen Kontext ...................................................................... 43 4.1 Voraussetzungen ........................................................................................................................................ 43 4.2 Beispielmodell ............................................................................................................................................. 44 4.3 Ableiten einer initialen abstrakten Syntax ........................................................................................... 46